Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 002219 | Gérard Cécé [France] ; Alain Giorgetti [France] | Simulations over Two-Dimensional On-Line Tessellation Automata |
| 002A48 | Gérard Cécé [France] ; Alain Giorgetti [France] | Simulations for a Class of Two-Dimensional Automata |
| 004140 | Gérard Cécé [France] ; Pierre-Cyrille Héam [France] ; Yann Mainier [France] | Efficiency of Automata in Semi-Commutation Verification Techniques |
| 007C81 | Gérard Cécé [France] ; Pierre-Cyrille Héam [France] ; Yann Mainier [France] | Efficiency of Automata in Semi-Commutation Verification Techniques |
| 008B78 | Frédéric Oehl ; Gérard Cécé ; Olga Kouchnarenko [France] ; David Sinclair | Automatic Approximation for the Verification of Cryptographic Protocols |
| This area was generated with Dilib version V0.6.33. |  |